1. Logic, language, information, and computation
المؤلف: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
2. Mathematical foundations of programming
المؤلف: Beckman, Frank S.
المکتبة: (خراسان الجنوبیة)
موضوع: ، Logic, symbolic and mathematical,، Formal Language
رده :
QA
9
.
B36
